邏輯是一門形式科學，並有其哲學預設，因而本門課將涵蓋：（一）從「形式系統」，亦即
語法與語意的面向，來解說初階邏輯（包括命題邏輯與述詞邏輯），包括公設系統以及樹枝
圖系統，另外也會補充一些後設定理（如真確性以及完備性）的介紹；（二）從哲學角度解
說幾個重要的邏輯概念，例如「有效性」、「真值函數」、「專名」、「描述詞」、「空
詞」、「等同」等，以及其它涉及邏輯的概念，例如「真」、「模態」、「模糊詞」等。
最後，本門課將介紹一些「機率」與「歸納邏輯」的內容（包括因果推論、類比推論、最佳
解釋推論）。